What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.comยท5hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Automating Boundary Filling in Cubical Type Theories
arxiv.orgยท1d
๐Ÿ”ถCubical Type Theory
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rsยท2dยท
Discuss: Lobsters
๐Ÿ”—Concatenative Languages
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.meยท13h
๐ŸŽฏGradual Typing
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.comยท7hยท
Discuss: Hacker News
๐Ÿ“ABNF Parsing
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.comยท2dยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.comยท7h
๐Ÿ”ฌRefinement Types
Coding with Claude
blog.puzzmo.comยท11hยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
Arenas in Rust
russellw.github.ioยท1hยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
Building an AI Tokenization Demo: From Workshop to App
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Challenges of Pseudocode Expansion
funcall.blogspot.comยท1dยท
Discuss: www.blogger.com
๐Ÿ”—Lisp
GoLang appreciation post
reddit.comยท6hยท
Discuss: r/golang
๐Ÿ“œProof Carrying Code
How we made JSON.stringify more than twice as fast
v8.devยท2dยท
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
๐ŸŒŠStreaming Compression
What you see may not be what you get
thoughtbot.comยท3h
๐Ÿ”ฃUnicode
ECMA-262, 16th edition, June 2025
262.ecma-international.orgยท2dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
A New Concurrent ML in Guile Scheme
wingolog.orgยท18hยท
Discuss: Hacker News
๐Ÿ”„Lens Laws
Rod Burstall: In Memoriam
arxiv.orgยท9hยท
Discuss: Lobsters
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
How the Lean language brings math to coding and coding to math
amazon.scienceยท8hยท
Discuss: Hacker News
๐Ÿ”ฌLean
Cactus Language โ€ข Pragmatics 9
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
lydiahallie/javascript-questions
github.comยท3d
๐Ÿ”—Concatenative Languages